Spatial imagery in deductive reasoning: a functional MRI study
نویسندگان
چکیده
منابع مشابه
Spatial imagery in deductive reasoning: a functional MRI study.
Various cognitive theories aim to explain human deductive reasoning: (1) mental logic theories claim syntactic language-based proofs of derivation, (2) the mental model theory proposes cognitive processes of constructing and manipulating spatially organized mental models, and (3) imagery theories postulate that such abilities are based on visual mental images. To explore the neural substrates o...
متن کاملDeductive Spatial Reasoning: A Computational and a Cognitive Perspective
In recent years a number of different cognitive theories that explain human reasoning processes have been developed. This paper focusses on two broadly discussed theories: the theory of mental logic and the theory of mental models. Both theories are presented and analyzed in formal terms and compared with respect to their explanatory and predictive power. Our claim is that only a precise comput...
متن کاملDeductive Spatial Reasoning: From Neurological Evidence to a Cognitive Model
Cognitive modeling aims more and more to explain, predict and integrate behavioral data with brain activations found in fMRI studies. In this article we analyze transitive inferences (e.g. A is left of B and B is left of C then A is left of C) during the spatial reasoning processes. Behavioral findings suggest that reasoners tend to construct a mental model from the premises, which they in turn...
متن کاملDeductive Reasoning
Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductiv...
متن کاملDeductive reasoning.
This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectives if, or, and and. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains. Finally, it outlines the principal psychological...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Brain Research
سال: 2002
ISSN: 0926-6410
DOI: 10.1016/s0926-6410(01)00116-1